1.1 时,

1.2 时成立, 则将 的事件分解为, 从 转移一步到 , 再转移 步被吸收, 于是

2. 类似第一点易证.

3. 由引理和第一点,

4. 由引理和第二点,

证毕.